採録済

国際会議(査読付)

[1] Soushi Inoue, "Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification", Proc. of 27th International Symposium on Formal Methods (FM 2026), Doctoral Symposium, May 採録済.